Modifie la taille de la police de ART-OS

Tapez TAILLE puis mettez un espace puis mettez la taille voulue.
Par exemple, pour mettre la taille 15, il faut taper :
TAILLE 15

Pour revenir  la taille de ART-OS par dfaut (10), tapez simplement TAILLE (sans espaces).

NB : La taille ne peut pas tre modifi sur certaines polices (par exemple "System").